Trait isotope::ctx::eval::TerminationCondition [−][src]
pub trait TerminationCondition { fn terminate(&self, term: &Term, ctx: &mut impl TyCtxMut + ?Sized) -> bool; }
Expand description
A termination condition